/* One more step to enable interrupt assist */
set_bit(ARCH_VMX_INTR_ASSIST, &v->arch.arch_vmx.flags);
+ /* Set up guest 's indicator for VTi domain*/
+ set_bit(ARCH_VMX_DOMAIN, &v->arch.arch_vmx.flags);
}
void
struct vcpu *v = d->vcpu[0];
struct list_head *list_ent = d->page_list.next;
- ASSERT(!test_bit(ARCH_VMX_CONTIG_MEM, &v->arch.arch_vmx.flags));
ASSERT(d->max_pages == d->tot_pages);
/* Mark I/O ranges */
list_ent = mfn_to_page(mfn)->list.next;
ASSERT(list_ent == &d->page_list);
- set_bit(ARCH_VMX_CONTIG_MEM, &v->arch.arch_vmx.flags);
}
void vmx_setup_platform(struct domain *d)
#define ARCH_VMX_IO_WAIT 3 /* Waiting for I/O completion */
#define ARCH_VMX_INTR_ASSIST 4 /* Need DM's assist to issue intr */
-#define ARCH_VMX_CONTIG_MEM 5 /* Need contiguous machine pages */
+#define ARCH_VMX_DOMAIN 5 /* Need it to indicate VTi domain */
#define VMX_DEBUG 1